home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX 2e document text
| default
| |
| 99%
| file
| LaTeX document text
| default
| |
| 98%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| TrID
| LaTeX 2e document (with rem)
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 5c 69 66 66 61 6c | 73 65 20 6d 65 74 61 2d |% \iffal|se meta-|
|00000010| 63 6f 6d 6d 65 6e 74 0a | 25 0a 25 20 43 6f 70 79 |comment.|%.% Copy|
|00000020| 72 69 67 68 74 20 31 39 | 39 34 20 74 68 65 20 4c |right 19|94 the L|
|00000030| 61 54 65 58 33 20 70 72 | 6f 6a 65 63 74 20 61 6e |aTeX3 pr|oject an|
|00000040| 64 20 74 68 65 20 69 6e | 64 69 76 69 64 75 61 6c |d the in|dividual|
|00000050| 20 61 75 74 68 6f 72 73 | 2e 0a 25 20 41 6c 6c 20 | authors|..% All |
|00000060| 72 69 67 68 74 73 20 72 | 65 73 65 72 76 65 64 2e |rights r|eserved.|
|00000070| 20 46 6f 72 20 66 75 72 | 74 68 65 72 20 63 6f 70 | For fur|ther cop|
|00000080| 79 72 69 67 68 74 20 69 | 6e 66 6f 72 6d 61 74 69 |yright i|nformati|
|00000090| 6f 6e 20 73 65 65 20 74 | 68 65 20 66 69 6c 65 0a |on see t|he file.|
|000000a0| 25 20 6c 65 67 61 6c 2e | 74 78 74 2c 20 61 6e 64 |% legal.|txt, and|
|000000b0| 20 61 6e 79 20 6f 74 68 | 65 72 20 63 6f 70 79 72 | any oth|er copyr|
|000000c0| 69 67 68 74 20 69 6e 64 | 69 63 61 74 65 64 20 69 |ight ind|icated i|
|000000d0| 6e 20 74 68 69 73 20 66 | 69 6c 65 2e 0a 25 20 0a |n this f|ile..% .|
|000000e0| 25 20 54 68 69 73 20 66 | 69 6c 65 20 69 73 20 70 |% This f|ile is p|
|000000f0| 61 72 74 20 6f 66 20 74 | 68 65 20 4c 61 54 65 58 |art of t|he LaTeX|
|00000100| 32 65 20 73 79 73 74 65 | 6d 2e 0a 25 20 2d 2d 2d |2e syste|m..% ---|
|00000110| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000120| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000130| 2d 2d 2d 2d 2d 0a 25 20 | 0a 25 20 20 54 68 69 73 |-----.% |.% This|
|00000140| 20 73 79 73 74 65 6d 20 | 69 73 20 64 69 73 74 72 | system |is distr|
|00000150| 69 62 75 74 65 64 20 69 | 6e 20 74 68 65 20 68 6f |ibuted i|n the ho|
|00000160| 70 65 20 74 68 61 74 20 | 69 74 20 77 69 6c 6c 20 |pe that |it will |
|00000170| 62 65 20 75 73 65 66 75 | 6c 2c 0a 25 20 20 62 75 |be usefu|l,.% bu|
|00000180| 74 20 57 49 54 48 4f 55 | 54 20 41 4e 59 20 57 41 |t WITHOU|T ANY WA|
|00000190| 52 52 41 4e 54 59 3b 20 | 77 69 74 68 6f 75 74 20 |RRANTY; |without |
|000001a0| 65 76 65 6e 20 74 68 65 | 20 69 6d 70 6c 69 65 64 |even the| implied|
|000001b0| 20 77 61 72 72 61 6e 74 | 79 20 6f 66 0a 25 20 20 | warrant|y of.% |
|000001c0| 4d 45 52 43 48 41 4e 54 | 41 42 49 4c 49 54 59 20 |MERCHANT|ABILITY |
|000001d0| 6f 72 20 46 49 54 4e 45 | 53 53 20 46 4f 52 20 41 |or FITNE|SS FOR A|
|000001e0| 20 50 41 52 54 49 43 55 | 4c 41 52 20 50 55 52 50 | PARTICU|LAR PURP|
|000001f0| 4f 53 45 2e 0a 25 20 0a | 25 20 0a 25 20 49 4d 50 |OSE..% .|% .% IMP|
|00000200| 4f 52 54 41 4e 54 20 4e | 4f 54 49 43 45 3a 0a 25 |ORTANT N|OTICE:.%|
|00000210| 20 0a 25 20 46 6f 72 20 | 65 72 72 6f 72 20 72 65 | .% For |error re|
|00000220| 70 6f 72 74 73 20 69 6e | 20 63 61 73 65 20 6f 66 |ports in| case of|
|00000230| 20 55 4e 43 48 41 4e 47 | 45 44 20 76 65 72 73 69 | UNCHANG|ED versi|
|00000240| 6f 6e 73 20 73 65 65 20 | 62 75 67 73 2e 74 78 74 |ons see |bugs.txt|
|00000250| 2e 0a 25 20 0a 25 20 50 | 6c 65 61 73 65 20 64 6f |..% .% P|lease do|
|00000260| 20 6e 6f 74 20 72 65 71 | 75 65 73 74 20 75 70 64 | not req|uest upd|
|00000270| 61 74 65 73 20 66 72 6f | 6d 20 75 73 20 64 69 72 |ates fro|m us dir|
|00000280| 65 63 74 6c 79 2e 20 20 | 44 69 73 74 72 69 62 75 |ectly. |Distribu|
|00000290| 74 69 6f 6e 20 69 73 0a | 25 20 64 6f 6e 65 20 74 |tion is.|% done t|
|000002a0| 68 72 6f 75 67 68 20 4d | 61 69 6c 2d 53 65 72 76 |hrough M|ail-Serv|
|000002b0| 65 72 73 20 61 6e 64 20 | 54 65 58 20 6f 72 67 61 |ers and |TeX orga|
|000002c0| 6e 69 7a 61 74 69 6f 6e | 73 2e 0a 25 20 0a 25 20 |nization|s..% .% |
|000002d0| 59 6f 75 20 61 72 65 20 | 6e 6f 74 20 61 6c 6c 6f |You are |not allo|
|000002e0| 77 65 64 20 74 6f 20 63 | 68 61 6e 67 65 20 74 68 |wed to c|hange th|
|000002f0| 69 73 20 66 69 6c 65 2e | 0a 25 20 0a 25 20 59 6f |is file.|.% .% Yo|
|00000300| 75 20 61 72 65 20 61 6c | 6c 6f 77 65 64 20 74 6f |u are al|lowed to|
|00000310| 20 64 69 73 74 72 69 62 | 75 74 65 20 74 68 69 73 | distrib|ute this|
|00000320| 20 66 69 6c 65 20 75 6e | 64 65 72 20 74 68 65 20 | file un|der the |
|00000330| 63 6f 6e 64 69 74 69 6f | 6e 20 74 68 61 74 0a 25 |conditio|n that.%|
|00000340| 20 69 74 20 69 73 20 64 | 69 73 74 72 69 62 75 74 | it is d|istribut|
|00000350| 65 64 20 74 6f 67 65 74 | 68 65 72 20 77 69 74 68 |ed toget|her with|
|00000360| 20 61 6c 6c 20 66 69 6c | 65 73 20 6d 65 6e 74 69 | all fil|es menti|
|00000370| 6f 6e 65 64 20 69 6e 20 | 6d 61 6e 69 66 65 73 74 |oned in |manifest|
|00000380| 2e 74 78 74 2e 0a 25 20 | 0a 25 20 49 66 20 79 6f |.txt..% |.% If yo|
|00000390| 75 20 72 65 63 65 69 76 | 65 20 6f 6e 6c 79 20 73 |u receiv|e only s|
|000003a0| 6f 6d 65 20 6f 66 20 74 | 68 65 73 65 20 66 69 6c |ome of t|hese fil|
|000003b0| 65 73 20 66 72 6f 6d 20 | 73 6f 6d 65 6f 6e 65 2c |es from |someone,|
|000003c0| 20 63 6f 6d 70 6c 61 69 | 6e 21 0a 25 20 0a 25 20 | complai|n!.% .% |
|000003d0| 59 6f 75 20 61 72 65 20 | 4e 4f 54 20 41 4c 4c 4f |You are |NOT ALLO|
|000003e0| 57 45 44 20 74 6f 20 64 | 69 73 74 72 69 62 75 74 |WED to d|istribut|
|000003f0| 65 20 74 68 69 73 20 66 | 69 6c 65 20 61 6c 6f 6e |e this f|ile alon|
|00000400| 65 2e 20 20 59 6f 75 20 | 61 72 65 20 4e 4f 54 0a |e. You |are NOT.|
|00000410| 25 20 41 4c 4c 4f 57 45 | 44 20 74 6f 20 74 61 6b |% ALLOWE|D to tak|
|00000420| 65 20 6d 6f 6e 65 79 20 | 66 6f 72 20 74 68 65 20 |e money |for the |
|00000430| 64 69 73 74 72 69 62 75 | 74 69 6f 6e 20 6f 72 20 |distribu|tion or |
|00000440| 75 73 65 20 6f 66 20 65 | 69 74 68 65 72 20 74 68 |use of e|ither th|
|00000450| 69 73 0a 25 20 66 69 6c | 65 20 6f 72 20 61 20 63 |is.% fil|e or a c|
|00000460| 68 61 6e 67 65 64 20 76 | 65 72 73 69 6f 6e 2c 20 |hanged v|ersion, |
|00000470| 65 78 63 65 70 74 20 66 | 6f 72 20 61 20 6e 6f 6d |except f|or a nom|
|00000480| 69 6e 61 6c 20 63 68 61 | 72 67 65 20 66 6f 72 20 |inal cha|rge for |
|00000490| 63 6f 70 79 69 6e 67 0a | 25 20 65 74 63 2e 0a 25 |copying.|% etc..%|
|000004a0| 20 5c 66 69 0a 25 0a 25 | 20 5c 69 66 66 61 6c 73 | \fi.%.%| \iffals|
|000004b0| 65 0a 25 25 25 20 46 69 | 6c 65 3a 20 6c 74 74 68 |e.%%% Fi|le: ltth|
|000004c0| 6d 0a 25 3c 2a 64 72 69 | 76 65 72 3e 0a 25 20 5c |m.%<*dri|ver>.% \|
|000004d0| 66 69 0a 5c 50 72 6f 76 | 69 64 65 73 46 69 6c 65 |fi.\Prov|idesFile|
|000004e0| 7b 6c 74 74 68 6d 2e 64 | 74 78 7d 0a 20 20 20 20 |{ltthm.d|tx}. |
|000004f0| 20 20 20 20 20 20 20 20 | 20 5b 31 39 39 34 2f 30 | | [1994/0|
|00000500| 35 2f 32 35 20 76 31 2e | 30 65 20 4c 61 54 65 58 |5/25 v1.|0e LaTeX|
|00000510| 20 4b 65 72 6e 65 6c 20 | 28 54 68 65 6f 72 65 6d | Kernel |(Theorem|
|00000520| 73 29 5d 0a 25 20 5c 69 | 66 66 61 6c 73 65 0a 5c |s)].% \i|ffalse.\|
|00000530| 64 6f 63 75 6d 65 6e 74 | 63 6c 61 73 73 7b 6c 74 |document|class{lt|
|00000540| 78 64 6f 63 7d 0a 5c 47 | 65 74 46 69 6c 65 49 6e |xdoc}.\G|etFileIn|
|00000550| 66 6f 7b 6c 74 74 68 6d | 2e 64 74 78 7d 0a 5c 74 |fo{ltthm|.dtx}.\t|
|00000560| 69 74 6c 65 7b 5c 66 69 | 6c 65 6e 61 6d 65 7d 0a |itle{\fi|lename}.|
|00000570| 5c 64 61 74 65 7b 5c 66 | 69 6c 65 64 61 74 65 7d |\date{\f|iledate}|
|00000580| 0a 20 5c 61 75 74 68 6f | 72 7b 25 0a 20 20 4a 6f |. \autho|r{%. Jo|
|00000590| 68 61 6e 6e 65 73 20 42 | 72 61 61 6d 73 5c 61 6e |hannes B|raams\an|
|000005a0| 64 0a 20 20 44 61 76 69 | 64 20 43 61 72 6c 69 73 |d. Davi|d Carlis|
|000005b0| 6c 65 5c 61 6e 64 0a 20 | 20 41 6c 61 6e 20 4a 65 |le\and. | Alan Je|
|000005c0| 66 66 72 65 79 5c 61 6e | 64 0a 20 20 4c 65 73 6c |ffrey\an|d. Lesl|
|000005d0| 69 65 20 4c 61 6d 70 6f | 72 74 5c 61 6e 64 0a 20 |ie Lampo|rt\and. |
|000005e0| 20 46 72 61 6e 6b 20 4d | 69 74 74 65 6c 62 61 63 | Frank M|ittelbac|
|000005f0| 68 5c 61 6e 64 0a 20 20 | 43 68 72 69 73 20 52 6f |h\and. |Chris Ro|
|00000600| 77 6c 65 79 5c 61 6e 64 | 0a 20 20 52 61 69 6e 65 |wley\and|. Raine|
|00000610| 72 20 53 63 68 5c 22 6f | 70 66 7d 0a 0a 5c 62 65 |r Sch\"o|pf}..\be|
|00000620| 67 69 6e 7b 64 6f 63 75 | 6d 65 6e 74 7d 0a 5c 6d |gin{docu|ment}.\m|
|00000630| 61 6b 65 74 69 74 6c 65 | 0a 20 5c 44 6f 63 49 6e |aketitle|. \DocIn|
|00000640| 70 75 74 7b 5c 66 69 6c | 65 6e 61 6d 65 7d 0a 5c |put{\fil|ename}.\|
|00000650| 65 6e 64 7b 64 6f 63 75 | 6d 65 6e 74 7d 0a 25 3c |end{docu|ment}.%<|
|00000660| 2f 64 72 69 76 65 72 3e | 0a 25 20 5c 66 69 0a 25 |/driver>|.% \fi.%|
|00000670| 0a 25 20 5c 43 68 65 63 | 6b 53 75 6d 7b 31 31 35 |.% \Chec|kSum{115|
|00000680| 7d 0a 25 0a 25 20 5c 73 | 65 63 74 69 6f 6e 7b 54 |}.%.% \s|ection{T|
|00000690| 68 65 6f 72 65 6d 20 45 | 6e 76 69 72 6f 6e 6d 65 |heorem E|nvironme|
|000006a0| 6e 74 73 7d 0a 25 0a 25 | 0a 25 20 20 54 68 65 20 |nts}.%.%|.% The |
|000006b0| 75 73 65 72 20 63 72 65 | 61 74 65 73 20 68 69 73 |user cre|ates his|
|000006c0| 20 6f 77 6e 20 74 68 65 | 6f 72 65 6d 2d 6c 69 6b | own the|orem-lik|
|000006d0| 65 20 65 6e 76 69 72 6f | 6e 6d 65 6e 74 73 20 77 |e enviro|nments w|
|000006e0| 69 74 68 20 74 68 65 20 | 63 6f 6d 6d 61 6e 64 5c |ith the |command\|
|000006f0| 5c 0a 25 20 20 20 20 20 | 20 7c 5c 6e 65 77 74 68 |\.% | |\newth|
|00000700| 65 6f 72 65 6d 7c 5c 6d | 61 72 67 7b 6e 61 6d 65 |eorem|\m|arg{name|
|00000710| 7d 5c 6d 61 72 67 7b 74 | 65 78 74 7d 5c 6f 61 72 |}\marg{t|ext}\oar|
|00000720| 67 7b 63 6f 75 6e 74 65 | 72 7d 20 20 6f 72 5c 5c |g{counte|r} or\\|
|00000730| 0a 25 20 20 20 20 20 20 | 7c 5c 6e 65 77 74 68 65 |.% ||\newthe|
|00000740| 6f 72 65 6d 7c 5c 6d 61 | 72 67 7b 6e 61 6d 65 7d |orem|\ma|rg{name}|
|00000750| 5c 6f 61 72 67 7b 6f 6c | 64 6e 61 6d 65 7d 5c 6d |\oarg{ol|dname}\m|
|00000760| 61 72 67 7b 74 65 78 74 | 7d 5c 5c 0a 25 20 20 54 |arg{text|}\\.% T|
|00000770| 68 69 73 20 64 65 66 69 | 6e 65 73 20 74 68 65 20 |his defi|nes the |
|00000780| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 5c 6d 65 74 |environm|ent \met|
|00000790| 61 7b 6e 61 6d 65 7d 20 | 74 6f 20 62 65 20 6a 75 |a{name} |to be ju|
|000007a0| 73 74 20 61 73 20 6f 6e | 65 20 77 6f 75 6c 64 0a |st as on|e would.|
|000007b0| 25 20 20 65 78 70 65 63 | 74 20 61 20 74 68 65 6f |% expec|t a theo|
|000007c0| 72 65 6d 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 20 |rem envi|ronment |
|000007d0| 74 6f 20 62 65 2c 20 65 | 78 63 65 70 74 20 74 68 |to be, e|xcept th|
|000007e0| 61 74 20 69 74 20 70 72 | 69 6e 74 73 20 5c 6d 65 |at it pr|ints \me|
|000007f0| 74 61 7b 74 65 78 74 7d | 0a 25 20 20 69 6e 73 74 |ta{text}|.% inst|
|00000800| 65 61 64 20 6f 66 20 60 | 60 54 68 65 6f 72 65 6d |ead of `|`Theorem|
|00000810| 27 27 2e 0a 25 0a 25 20 | 20 49 66 20 5c 6d 65 74 |''..%.% | If \met|
|00000820| 61 7b 6f 6c 64 6e 61 6d | 65 7d 20 69 73 20 67 69 |a{oldnam|e} is gi|
|00000830| 76 65 6e 2c 20 74 68 65 | 6e 20 65 6e 76 69 72 6f |ven, the|n enviro|
|00000840| 6e 6d 65 6e 74 73 20 5c | 6d 65 74 61 7b 6e 61 6d |nments \|meta{nam|
|00000850| 65 7d 20 61 6e 64 0a 25 | 20 20 5c 6d 65 74 61 7b |e} and.%| \meta{|
|00000860| 6f 6c 64 6e 61 6d 65 7d | 20 75 73 65 20 74 68 65 |oldname}| use the|
|00000870| 20 73 61 6d 65 20 63 6f | 75 6e 74 65 72 2c 20 73 | same co|unter, s|
|00000880| 6f 20 75 73 69 6e 67 20 | 61 20 5c 6d 65 74 61 7b |o using |a \meta{|
|00000890| 6e 61 6d 65 7d 0a 25 20 | 20 65 6e 76 69 72 6f 6e |name}.% | environ|
|000008a0| 6d 65 6e 74 20 61 64 76 | 61 6e 63 65 73 20 74 68 |ment adv|ances th|
|000008b0| 65 20 6e 75 6d 62 65 72 | 20 6f 66 20 74 68 65 20 |e number| of the |
|000008c0| 6e 65 78 74 20 5c 6d 65 | 74 61 7b 6e 61 6d 65 7d |next \me|ta{name}|
|000008d0| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 2c 0a 25 20 | environ|ment,.% |
|000008e0| 20 61 6e 64 20 76 69 63 | 65 2d 76 65 72 73 61 2e | and vic|e-versa.|
|000008f0| 0a 25 0a 25 20 20 49 66 | 20 5c 6d 65 74 61 7b 63 |.%.% If| \meta{c|
|00000900| 6f 75 6e 74 65 72 7d 20 | 69 73 20 67 69 76 65 6e |ounter} |is given|
|00000910| 2c 20 74 68 65 6e 20 65 | 6e 76 69 72 6f 6e 6d 65 |, then e|nvironme|
|00000920| 6e 74 20 5c 6d 65 74 61 | 7b 6e 61 6d 65 7d 20 69 |nt \meta|{name} i|
|00000930| 73 20 6e 75 6d 62 65 72 | 65 64 0a 25 20 20 77 69 |s number|ed.% wi|
|00000940| 74 68 69 6e 20 5c 6d 65 | 74 61 7b 63 6f 75 6e 74 |thin \me|ta{count|
|00000950| 65 72 7d 2e 0a 25 20 0a | 25 20 20 45 2e 67 2e 2c |er}..% .|% E.g.,|
|00000960| 20 69 66 20 5c 6d 65 74 | 61 7b 63 6f 75 6e 74 65 | if \met|a{counte|
|00000970| 72 7d 20 3d 20 7c 73 75 | 62 73 65 63 74 69 6f 6e |r} = |su|bsection|
|00000980| 7c 2c 20 74 68 65 6e 20 | 74 68 65 20 66 69 72 73 ||, then |the firs|
|00000990| 74 20 5c 6d 65 74 61 7b | 6e 61 6d 65 7d 20 69 6e |t \meta{|name} in|
|000009a0| 0a 25 20 20 73 75 62 73 | 65 63 74 69 6f 6e 20 37 |.% subs|ection 7|
|000009b0| 2e 32 20 69 73 20 6e 75 | 6d 62 65 72 65 64 20 5c |.2 is nu|mbered \|
|000009c0| 6d 65 74 61 7b 74 65 78 | 74 7d 20 37 2e 32 2e 31 |meta{tex|t} 7.2.1|
|000009d0| 2e 0a 25 0a 25 20 20 54 | 68 65 20 77 61 79 20 5c |..%.% T|he way \|
|000009e0| 6d 65 74 61 7b 6e 61 6d | 65 7d 20 65 6e 76 69 72 |meta{nam|e} envir|
|000009f0| 6f 6e 6d 65 6e 74 73 20 | 61 72 65 20 6e 75 6d 62 |onments |are numb|
|00000a00| 65 72 65 64 20 63 61 6e | 20 62 65 20 63 68 61 6e |ered can| be chan|
|00000a10| 67 65 64 20 62 79 0a 25 | 20 20 72 65 64 65 66 69 |ged by.%| redefi|
|00000a20| 6e 69 6e 67 20 7c 5c 74 | 68 65 7c 5c 6d 65 74 61 |ning |\t|he|\meta|
|00000a30| 7b 6e 61 6d 65 7d 2e 0a | 25 0a 25 20 5c 53 74 6f |{name}..|%.% \Sto|
|00000a40| 70 45 76 65 6e 74 75 61 | 6c 6c 79 7b 7d 0a 25 0a |pEventua|lly{}.%.|
|00000a50| 25 0a 25 20 5c 63 68 61 | 6e 67 65 73 7b 76 31 2e |%.% \cha|nges{v1.|
|00000a60| 30 61 7d 7b 31 39 39 34 | 2f 30 33 2f 32 38 7d 7b |0a}{1994|/03/28}{|
|00000a70| 49 6e 69 74 69 61 6c 20 | 76 65 72 73 69 6f 6e 2c |Initial |version,|
|00000a80| 20 73 70 6c 69 74 20 66 | 72 6f 6d 20 6c 61 74 65 | split f|rom late|
|00000a90| 78 2e 64 74 78 7d 0a 25 | 20 5c 63 68 61 6e 67 65 |x.dtx}.%| \change|
|00000aa0| 73 7b 76 31 2e 31 63 7d | 7b 31 39 39 34 2f 30 35 |s{v1.1c}|{1994/05|
|00000ab0| 2f 32 35 7d 7b 4d 6f 64 | 69 66 79 20 64 6f 63 75 |/25}{Mod|ify docu|
|00000ac0| 6d 65 6e 74 61 74 69 6f | 6e 7d 0a 25 0a 25 20 5c |mentatio|n}.%.% \|
|00000ad0| 62 65 67 69 6e 7b 6f 6c | 64 63 6f 6d 6d 65 6e 74 |begin{ol|dcomment|
|00000ae0| 73 7d 0a 25 0a 25 20 20 | 44 4f 43 55 4d 45 4e 54 |s}.%.% |DOCUMENT|
|00000af0| 20 53 54 59 4c 45 20 50 | 41 52 41 4d 45 54 45 52 | STYLE P|ARAMETER|
|00000b00| 53 0a 25 0a 25 20 20 5c | 40 74 68 6d 63 6f 75 6e |S.%.% \|@thmcoun|
|00000b10| 74 65 72 7b 43 4f 55 4e | 54 45 52 7d 20 3a 20 41 |ter{COUN|TER} : A|
|00000b20| 20 63 6f 6d 6d 61 6e 64 | 20 73 75 63 68 20 74 68 | command| such th|
|00000b30| 61 74 0a 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |at.% | |
|00000b40| 20 20 20 5c 65 64 65 66 | 5c 74 68 65 43 4f 55 4e | \edef|\theCOUN|
|00000b50| 54 45 52 7b 5c 40 74 68 | 6d 63 6f 75 6e 74 65 72 |TER{\@th|mcounter|
|00000b60| 7b 43 4f 55 4e 54 45 52 | 7d 7d 0a 25 20 20 20 20 |{COUNTER|}}.% |
|00000b70| 20 64 65 66 69 6e 65 73 | 20 5c 74 68 65 43 4f 55 | defines| \theCOU|
|00000b80| 4e 54 45 52 20 74 6f 20 | 70 72 6f 64 75 63 65 20 |NTER to |produce |
|00000b90| 61 20 6e 75 6d 62 65 72 | 20 66 6f 72 20 61 20 74 |a number| for a t|
|00000ba0| 68 65 6f 72 65 6d 20 65 | 6e 76 69 72 6f 6e 6d 65 |heorem e|nvironme|
|00000bb0| 6e 74 2e 0a 25 20 20 20 | 20 20 54 68 65 20 64 65 |nt..% | The de|
|00000bc0| 66 61 75 6c 74 20 69 73 | 3a 0a 25 20 20 20 20 20 |fault is|:.% |
|00000bd0| 20 20 20 20 20 20 20 42 | 45 47 49 4e 20 5c 6e 6f | B|EGIN \no|
|00000be0| 65 78 70 61 6e 64 5c 61 | 72 61 62 69 63 7b 43 4f |expand\a|rabic{CO|
|00000bf0| 55 4e 54 45 52 7d 20 45 | 4e 44 0a 25 0a 25 20 20 |UNTER} E|ND.%.% |
|00000c00| 5c 40 74 68 6d 63 6f 75 | 6e 74 65 72 73 65 70 20 |\@thmcou|ntersep |
|00000c10| 3a 20 41 20 73 65 70 61 | 72 61 74 6f 72 20 70 6c |: A sepa|rator pl|
|00000c20| 61 63 65 64 20 62 65 74 | 77 65 65 6e 20 61 20 74 |aced bet|ween a t|
|00000c30| 68 65 6f 72 65 6d 20 6e | 75 6d 62 65 72 20 61 6e |heorem n|umber an|
|00000c40| 64 0a 25 20 20 20 20 20 | 20 20 20 20 74 68 65 20 |d.% | the |
|00000c50| 6e 75 6d 62 65 72 20 6f | 66 20 74 68 65 20 63 6f |number o|f the co|
|00000c60| 75 6e 74 65 72 20 77 69 | 74 68 69 6e 20 77 68 69 |unter wi|thin whi|
|00000c70| 63 68 20 69 74 20 69 73 | 20 6e 75 6d 62 65 72 65 |ch it is| numbere|
|00000c80| 64 2e 0a 25 20 20 20 20 | 20 20 20 20 20 45 2e 67 |d..% | E.g|
|00000c90| 2e 2c 20 74 6f 20 6d 61 | 6b 65 20 74 68 65 20 74 |., to ma|ke the t|
|00000ca0| 68 69 72 64 20 74 68 65 | 6f 72 65 6d 20 6f 66 20 |hird the|orem of |
|00000cb0| 73 65 63 74 69 6f 6e 20 | 37 2e 32 20 62 65 20 6e |section |7.2 be n|
|00000cc0| 75 6d 62 65 72 65 64 0a | 25 20 20 20 20 20 20 20 |umbered.|% |
|00000cd0| 20 20 37 2e 32 2d 33 2c | 20 5c 40 74 68 6d 63 6f | 7.2-3,| \@thmco|
|00000ce0| 75 6e 74 65 72 73 65 70 | 20 73 68 6f 75 6c 64 20 |untersep| should |
|00000cf0| 62 65 20 5c 64 65 66 27 | 65 64 20 74 6f 20 27 2d |be \def'|ed to '-|
|00000d00| 27 2e 20 20 49 74 73 0a | 25 20 20 20 20 20 20 20 |'. Its.|% |
|00000d10| 20 20 64 65 66 61 75 6c | 74 20 69 73 20 27 2e 27 | defaul|t is '.'|
|00000d20| 2e 0a 25 0a 25 20 20 5c | 40 62 65 67 69 6e 74 68 |..%.% \|@beginth|
|00000d30| 65 6f 72 65 6d 7b 4e 41 | 4d 45 7d 7b 4e 55 4d 42 |eorem{NA|ME}{NUMB|
|00000d40| 45 52 7d 20 3a 20 41 20 | 63 6f 6d 6d 61 6e 64 20 |ER} : A |command |
|00000d50| 74 68 61 74 20 62 65 67 | 69 6e 73 20 61 20 74 68 |that beg|ins a th|
|00000d60| 65 6f 72 65 6d 0a 25 20 | 20 20 20 20 20 20 20 20 |eorem.% | |
|00000d70| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 66 6f 72 20 |environm|ent for |
|00000d80| 61 20 27 74 68 65 6f 72 | 65 6d 27 20 6e 61 6d 65 |a 'theor|em' name|
|00000d90| 64 20 27 4e 41 4d 45 20 | 4e 55 4d 42 45 52 27 20 |d 'NAME |NUMBER' |
|00000da0| 2d 2d 0a 25 20 20 20 20 | 20 20 20 20 20 65 2e 67 |--.% | e.g|
|00000db0| 2e 2c 20 5c 40 62 65 67 | 69 6e 74 68 65 6f 72 65 |., \@beg|intheore|
|00000dc0| 6d 7b 4c 65 6d 6d 61 7d | 7b 33 2e 37 7d 20 73 74 |m{Lemma}|{3.7} st|
|00000dd0| 61 72 74 73 20 4c 65 6d | 6d 61 20 33 2e 37 2e 0a |arts Lem|ma 3.7..|
|00000de0| 25 0a 25 20 20 5c 40 6f | 70 61 72 67 62 65 67 69 |%.% \@o|pargbegi|
|00000df0| 6e 74 68 65 6f 72 65 6d | 7b 4e 41 4d 45 7d 7b 4e |ntheorem|{NAME}{N|
|00000e00| 55 4d 42 45 52 7d 7b 4f | 50 41 52 47 7d 20 3a 20 |UMBER}{O|PARG} : |
|00000e10| 0a 25 20 20 20 20 20 20 | 20 20 20 41 20 63 6f 6d |.% | A com|
|00000e20| 6d 61 6e 64 20 74 68 61 | 74 20 62 65 67 69 6e 73 |mand tha|t begins|
|00000e30| 20 61 20 74 68 65 6f 72 | 65 6d 0a 25 20 20 20 20 | a theor|em.% |
|00000e40| 20 20 20 20 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 | env|ironment|
|00000e50| 20 66 6f 72 20 61 20 27 | 74 68 65 6f 72 65 6d 27 | for a '|theorem'|
|00000e60| 20 6e 61 6d 65 64 20 27 | 4e 41 4d 45 20 4e 55 4d | named '|NAME NUM|
|00000e70| 42 45 52 27 20 77 69 74 | 68 20 6f 70 74 69 6f 6e |BER' wit|h option|
|00000e80| 61 6c 0a 25 20 20 20 20 | 20 20 20 20 20 61 72 67 |al.% | arg|
|00000e90| 75 6d 65 6e 74 20 4f 50 | 41 52 47 20 2d 2d 20 65 |ument OP|ARG -- e|
|00000ea0| 2e 67 2e 2c 20 5c 40 62 | 65 67 69 6e 74 68 65 6f |.g., \@b|egintheo|
|00000eb0| 72 65 6d 7b 4c 65 6d 6d | 61 7d 7b 33 2e 37 7d 7b |rem{Lemm|a}{3.7}{|
|00000ec0| 4a 6f 6e 65 73 7d 0a 25 | 20 20 20 20 20 20 20 20 |Jones}.%| |
|00000ed0| 20 73 74 61 72 74 73 20 | 60 4c 65 6d 6d 61 20 33 | starts |`Lemma 3|
|00000ee0| 2e 37 20 28 4a 6f 6e 65 | 73 29 3a 27 2e 0a 25 0a |.7 (Jone|s):'..%.|
|00000ef0| 25 20 20 5c 40 65 6e 64 | 74 68 65 6f 72 65 6d 20 |% \@end|theorem |
|00000f00| 3a 20 41 20 63 6f 6d 6d | 61 6e 64 20 74 68 61 74 |: A comm|and that|
|00000f10| 20 65 6e 64 73 20 61 20 | 74 68 65 6f 72 65 6d 20 | ends a |theorem |
|00000f20| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 2e 0a 25 0a 25 |environm|ent..%.%|
|00000f30| 20 5c 6e 65 77 74 68 65 | 6f 72 65 6d 7b 4e 41 4d | \newthe|orem{NAM|
|00000f40| 45 7d 7b 54 45 58 54 7d | 5b 43 4f 55 4e 54 45 52 |E}{TEXT}|[COUNTER|
|00000f50| 5d 20 3d 3d 0a 25 20 20 | 20 42 45 47 49 4e 0a 25 |] ==.% | BEGIN.%|
|00000f60| 20 20 20 20 20 69 66 20 | 5c 4e 41 4d 45 20 69 73 | if |\NAME is|
|00000f70| 20 64 65 66 69 6e 61 62 | 6c 65 0a 25 20 20 20 20 | definab|le.% |
|00000f80| 20 20 20 74 68 65 6e 20 | 5c 40 64 65 66 69 6e 65 | then |\@define|
|00000f90| 63 6f 75 6e 74 65 72 7b | 4e 41 4d 45 7d 0a 25 20 |counter{|NAME}.% |
|00000fa0| 20 20 20 20 20 20 20 20 | 20 20 20 69 66 20 43 4f | | if CO|
|00000fb0| 55 4e 54 45 52 20 70 72 | 65 73 65 6e 74 0a 25 20 |UNTER pr|esent.% |
|00000fc0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 74 68 65 | | the|
|00000fd0| 6e 20 5c 40 6e 65 77 63 | 74 72 7b 4e 41 4d 45 7d |n \@newc|tr{NAME}|
|00000fe0| 5b 43 4f 55 4e 54 45 52 | 5d 20 66 69 0a 25 20 20 |[COUNTER|] fi.% |
|00000ff0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001000| 20 5c 74 68 65 4e 41 4d | 45 20 3d 3d 20 20 42 45 | \theNAM|E == BE|
|00001010| 47 49 4e 20 5c 74 68 65 | 43 4f 55 4e 54 45 52 20 |GIN \the|COUNTER |
|00001020| 5c 40 74 68 6d 63 6f 75 | 6e 74 65 72 73 65 70 0a |\@thmcou|ntersep.|
|00001030| 25 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |% | |
|00001040| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001050| 20 20 20 20 20 20 20 20 | 65 76 61 6c 5c 40 74 68 | |eval\@th|
|00001060| 6d 63 6f 75 6e 74 65 72 | 7b 4e 41 4d 45 7d 20 20 |mcounter|{NAME} |
|00001070| 20 20 20 20 45 4e 44 0a | 25 20 20 20 20 20 20 20 | END.|% |
|00001080| 20 20 20 20 20 20 20 65 | 6c 73 65 20 5c 74 68 65 | e|lse \the|
|00001090| 4e 41 4d 45 20 3d 3d 20 | 20 42 45 47 49 4e 20 65 |NAME == | BEGIN e|
|000010a0| 76 61 6c 5c 40 74 68 6d | 63 6f 75 6e 74 65 72 7b |val\@thm|counter{|
|000010b0| 4e 41 4d 45 7d 20 45 4e | 44 0a 25 20 20 20 20 20 |NAME} EN|D.% |
|000010c0| 20 20 20 20 20 20 20 5c | 4e 41 4d 45 20 3d 3d 20 | \|NAME == |
|000010d0| 5c 40 74 68 6d 7b 4e 41 | 4d 45 7d 7b 54 45 58 54 |\@thm{NA|ME}{TEXT|
|000010e0| 7d 0a 25 20 20 20 20 20 | 20 20 20 20 20 20 20 5c |}.% | \|
|000010f0| 65 6e 64 4e 41 4d 45 20 | 3d 3d 20 5c 40 65 6e 64 |endNAME |== \@end|
|00001100| 74 68 65 6f 72 65 6d 0a | 25 20 20 20 20 20 20 20 |theorem.|% |
|00001110| 65 6c 73 65 20 20 65 72 | 72 6f 72 0a 25 20 20 20 |else er|ror.% |
|00001120| 20 20 66 69 0a 25 20 20 | 20 45 4e 44 0a 25 0a 25 | fi.% | END.%.%|
|00001130| 20 5c 6e 65 77 74 68 65 | 6f 72 65 6d 7b 4e 41 4d | \newthe|orem{NAM|
|00001140| 45 7d 5b 4f 4c 44 4e 41 | 4d 45 5d 7b 54 45 58 54 |E}[OLDNA|ME]{TEXT|
|00001150| 7d 3d 3d 0a 25 20 20 20 | 42 45 47 49 4e 0a 25 20 |}==.% |BEGIN.% |
|00001160| 20 20 20 20 69 66 20 63 | 6f 75 6e 74 65 72 20 4f | if c|ounter O|
|00001170| 4c 44 4e 41 4d 45 20 6e | 6f 6e 65 78 69 73 74 61 |LDNAME n|onexista|
|00001180| 6e 74 0a 25 20 20 20 20 | 20 20 20 74 68 65 6e 20 |nt.% | then |
|00001190| 45 52 52 4f 52 0a 25 20 | 20 20 20 20 20 20 65 6c |ERROR.% | el|
|000011a0| 73 65 0a 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |se.% | |
|000011b0| 69 66 20 5c 4e 41 4d 45 | 20 69 73 20 64 65 66 69 |if \NAME| is defi|
|000011c0| 6e 61 62 6c 65 0a 25 20 | 20 20 20 20 20 20 20 20 |nable.% | |
|000011d0| 20 20 20 20 20 74 68 65 | 6e 20 42 45 47 49 4e 0a | the|n BEGIN.|
|000011e0| 25 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |% | |
|000011f0| 20 20 20 20 5c 74 68 65 | 4e 41 4d 45 20 3d 3d 20 | \the|NAME == |
|00001200| 5c 74 68 65 4f 4c 44 4e | 41 4d 45 0a 25 20 20 20 |\theOLDN|AME.% |
|00001210| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001220| 5c 4e 41 4d 45 20 3d 3d | 20 5c 40 74 68 6d 7b 4f |\NAME ==| \@thm{O|
|00001230| 4c 44 4e 41 4d 45 7d 7b | 54 45 58 54 7d 0a 25 20 |LDNAME}{|TEXT}.% |
|00001240| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001250| 20 20 5c 65 6e 64 4e 41 | 4d 45 20 3d 3d 20 5c 40 | \endNA|ME == \@|
|00001260| 65 6e 64 74 68 65 6f 72 | 65 6d 0a 25 20 20 20 20 |endtheor|em.% |
|00001270| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 45 | | E|
|00001280| 4e 44 0a 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |ND.% | |
|00001290| 20 20 65 6c 73 65 20 20 | 65 72 72 6f 72 0a 25 20 | else |error.% |
|000012a0| 20 20 20 20 20 20 20 20 | 20 20 20 66 69 0a 25 20 | | fi.% |
|000012b0| 20 20 20 20 66 69 0a 25 | 20 20 20 45 4e 44 0a 25 | fi.%| END.%|
|000012c0| 0a 25 20 5c 40 74 68 6d | 7b 4e 41 4d 45 7d 7b 54 |.% \@thm|{NAME}{T|
|000012d0| 45 58 54 7d 20 3d 3d 0a | 25 20 20 20 42 45 47 49 |EXT} ==.|% BEGI|
|000012e0| 4e 0a 25 20 20 20 20 5c | 72 65 66 73 74 65 70 63 |N.% \|refstepc|
|000012f0| 6f 75 6e 74 65 72 7b 4e | 41 4d 45 7d 0a 25 20 20 |ounter{N|AME}.% |
|00001300| 20 20 69 66 20 6e 65 78 | 74 20 63 68 61 72 20 3d | if nex|t char =|
|00001310| 20 5b 0a 25 20 20 20 20 | 20 20 20 74 68 65 6e 20 | [.% | then |
|00001320| 5c 40 79 74 68 6d 7b 4e | 41 4d 45 7d 7b 54 45 58 |\@ythm{N|AME}{TEX|
|00001330| 54 7d 0a 25 20 20 20 20 | 20 20 20 65 6c 73 65 20 |T}.% | else |
|00001340| 5c 40 78 74 68 6d 7b 4e | 41 4d 45 7d 7b 54 45 58 |\@xthm{N|AME}{TEX|
|00001350| 54 7d 0a 25 20 20 20 20 | 66 69 0a 25 20 20 20 45 |T}.% |fi.% E|
|00001360| 4e 44 0a 25 0a 25 20 5c | 40 78 74 68 6d 7b 4e 41 |ND.%.% \|@xthm{NA|
|00001370| 4d 45 7d 7b 54 45 58 54 | 7d 20 3d 3d 0a 25 20 20 |ME}{TEXT|} ==.% |
|00001380| 20 42 45 47 49 4e 0a 25 | 20 20 20 20 5c 40 62 65 | BEGIN.%| \@be|
|00001390| 67 69 6e 74 68 65 6f 72 | 65 6d 7b 54 45 58 54 7d |gintheor|em{TEXT}|
|000013a0| 7b 5c 74 68 65 4e 41 4d | 45 7d 0a 25 20 20 20 20 |{\theNAM|E}.% |
|000013b0| 5c 69 67 6e 6f 72 65 73 | 70 61 63 65 73 0a 25 20 |\ignores|paces.% |
|000013c0| 20 20 45 4e 44 0a 25 0a | 25 20 5c 40 79 74 68 6d | END.%.|% \@ythm|
|000013d0| 7b 4e 41 4d 45 7d 7b 54 | 45 58 54 7d 5b 4f 50 41 |{NAME}{T|EXT}[OPA|
|000013e0| 52 47 5d 20 3d 3d 0a 25 | 20 20 20 42 45 47 49 4e |RG] ==.%| BEGIN|
|000013f0| 0a 25 20 20 20 20 5c 40 | 6f 70 61 72 67 62 65 67 |.% \@|opargbeg|
|00001400| 69 6e 74 68 65 6f 72 65 | 6d 7b 54 45 58 54 7d 7b |intheore|m{TEXT}{|
|00001410| 5c 74 68 65 4e 41 4d 45 | 7d 7b 4f 50 41 52 47 7d |\theNAME|}{OPARG}|
|00001420| 0a 25 20 20 20 20 5c 69 | 67 6e 6f 72 65 73 70 61 |.% \i|gnorespa|
|00001430| 63 65 73 0a 25 20 20 20 | 45 4e 44 0a 25 0a 25 20 |ces.% |END.%.% |
|00001440| 20 20 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 63 | \begi|n{macroc|
|00001450| 6f 64 65 7d 0a 25 3c 2a | 32 65 6b 65 72 6e 65 6c |ode}.%<*|2ekernel|
|00001460| 3e 0a 5c 64 65 66 5c 6e | 65 77 74 68 65 6f 72 65 |>.\def\n|ewtheore|
|00001470| 6d 23 31 7b 5c 40 69 66 | 6e 65 78 74 63 68 61 72 |m#1{\@if|nextchar|
|00001480| 5b 7b 5c 40 6f 74 68 6d | 7b 23 31 7d 7d 7b 5c 40 |[{\@othm|{#1}}{\@|
|00001490| 6e 74 68 6d 7b 23 31 7d | 7d 7d 0a 25 20 20 20 20 |nthm{#1}|}}.% |
|000014a0| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|000014b0| 25 0a 25 20 20 20 20 5c | 62 65 67 69 6e 7b 6d 61 |%.% \|begin{ma|
|000014c0| 63 72 6f 63 6f 64 65 7d | 0a 5c 64 65 66 5c 40 6e |crocode}|.\def\@n|
|000014d0| 74 68 6d 23 31 23 32 7b | 25 0a 5c 40 69 66 6e 65 |thm#1#2{|%.\@ifne|
|000014e0| 78 74 63 68 61 72 5b 7b | 5c 40 78 6e 74 68 6d 7b |xtchar[{|\@xnthm{|
|000014f0| 23 31 7d 7b 23 32 7d 7d | 7b 5c 40 79 6e 74 68 6d |#1}{#2}}|{\@ynthm|
|00001500| 7b 23 31 7d 7b 23 32 7d | 7d 7d 0a 25 20 20 20 20 |{#1}{#2}|}}.% |
|00001510| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|00001520| 25 0a 25 20 39 32 2f 30 | 39 2f 31 38 20 52 6d 53 |%.% 92/0|9/18 RmS|
|00001530| 3a 20 43 68 61 6e 67 65 | 64 20 5c 40 61 64 64 74 |: Change|d \@addt|
|00001540| 6f 72 65 73 65 74 20 74 | 6f 20 5c 40 6e 65 77 63 |oreset t|o \@newc|
|00001550| 74 72 20 74 6f 20 70 72 | 6f 64 75 63 65 20 65 72 |tr to pr|oduce er|
|00001560| 72 6f 72 0a 25 20 20 20 | 20 20 20 20 20 20 20 20 |ror.% | |
|00001570| 20 20 20 20 6d 65 73 73 | 61 67 65 20 69 66 20 63 | mess|age if c|
|00001580| 6f 75 6e 74 65 72 20 23 | 33 20 64 6f 65 73 20 6e |ounter #|3 does n|
|00001590| 6f 74 20 65 78 69 73 74 | 20 28 74 6f 20 62 65 0a |ot exist| (to be.|
|000015a0| 25 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |% | |
|000015b0| 63 6f 6e 73 69 73 74 65 | 6e 74 20 77 69 74 68 20 |consiste|nt with |
|000015c0| 62 65 68 61 76 69 6f 75 | 72 20 6f 66 20 5c 6e 65 |behaviou|r of \ne|
|000015d0| 77 63 6f 75 6e 74 65 72 | 29 0a 25 20 20 20 20 5c |wcounter|).% \|
|000015e0| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|000015f0| 0a 5c 64 65 66 5c 40 78 | 6e 74 68 6d 23 31 23 32 |.\def\@x|nthm#1#2|
|00001600| 5b 23 33 5d 7b 5c 65 78 | 70 61 6e 64 61 66 74 65 |[#3]{\ex|pandafte|
|00001610| 72 5c 40 69 66 64 65 66 | 69 6e 61 62 6c 65 5c 63 |r\@ifdef|inable\c|
|00001620| 73 6e 61 6d 65 20 23 31 | 5c 65 6e 64 63 73 6e 61 |sname #1|\endcsna|
|00001630| 6d 65 0a 7b 5c 40 64 65 | 66 69 6e 65 63 6f 75 6e |me.{\@de|finecoun|
|00001640| 74 65 72 7b 23 31 7d 5c | 40 6e 65 77 63 74 72 7b |ter{#1}\|@newctr{|
|00001650| 23 31 7d 5b 23 33 5d 25 | 0a 5c 65 78 70 61 6e 64 |#1}[#3]%|.\expand|
|00001660| 61 66 74 65 72 5c 78 64 | 65 66 5c 63 73 6e 61 6d |after\xd|ef\csnam|
|00001670| 65 20 74 68 65 23 31 5c | 65 6e 64 63 73 6e 61 6d |e the#1\|endcsnam|
|00001680| 65 7b 5c 65 78 70 61 6e | 64 61 66 74 65 72 5c 6e |e{\expan|dafter\n|
|00001690| 6f 65 78 70 61 6e 64 0a | 20 20 5c 63 73 6e 61 6d |oexpand.| \csnam|
|000016a0| 65 20 74 68 65 23 33 5c | 65 6e 64 63 73 6e 61 6d |e the#3\|endcsnam|
|000016b0| 65 20 5c 40 74 68 6d 63 | 6f 75 6e 74 65 72 73 65 |e \@thmc|ounterse|
|000016c0| 70 20 5c 40 74 68 6d 63 | 6f 75 6e 74 65 72 7b 23 |p \@thmc|ounter{#|
|000016d0| 31 7d 7d 25 0a 5c 67 6c | 6f 62 61 6c 5c 40 6e 61 |1}}%.\gl|obal\@na|
|000016e0| 6d 65 64 65 66 7b 23 31 | 7d 7b 25 0a 20 20 5c 40 |medef{#1|}{%. \@|
|000016f0| 74 68 6d 7b 23 31 7d 7b | 23 32 7d 7d 5c 67 6c 6f |thm{#1}{|#2}}\glo|
|00001700| 62 61 6c 5c 40 6e 61 6d | 65 64 65 66 7b 65 6e 64 |bal\@nam|edef{end|
|00001710| 23 31 7d 7b 5c 40 65 6e | 64 74 68 65 6f 72 65 6d |#1}{\@en|dtheorem|
|00001720| 7d 7d 7d 0a 25 20 20 20 | 20 5c 65 6e 64 7b 6d 61 |}}}.% | \end{ma|
|00001730| 63 72 6f 63 6f 64 65 7d | 0a 25 0a 25 20 20 20 20 |crocode}|.%.% |
|00001740| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00001750| 7d 0a 5c 64 65 66 5c 40 | 79 6e 74 68 6d 23 31 23 |}.\def\@|ynthm#1#|
|00001760| 32 7b 5c 65 78 70 61 6e | 64 61 66 74 65 72 5c 40 |2{\expan|dafter\@|
|00001770| 69 66 64 65 66 69 6e 61 | 62 6c 65 5c 63 73 6e 61 |ifdefina|ble\csna|
|00001780| 6d 65 20 23 31 5c 65 6e | 64 63 73 6e 61 6d 65 0a |me #1\en|dcsname.|
|00001790| 7b 5c 40 64 65 66 69 6e | 65 63 6f 75 6e 74 65 72 |{\@defin|ecounter|
|000017a0| 7b 23 31 7d 25 0a 5c 65 | 78 70 61 6e 64 61 66 74 |{#1}%.\e|xpandaft|
|000017b0| 65 72 5c 78 64 65 66 5c | 63 73 6e 61 6d 65 20 74 |er\xdef\|csname t|
|000017c0| 68 65 23 31 5c 65 6e 64 | 63 73 6e 61 6d 65 7b 5c |he#1\end|csname{\|
|000017d0| 40 74 68 6d 63 6f 75 6e | 74 65 72 7b 23 31 7d 7d |@thmcoun|ter{#1}}|
|000017e0| 25 0a 5c 67 6c 6f 62 61 | 6c 5c 40 6e 61 6d 65 64 |%.\globa|l\@named|
|000017f0| 65 66 7b 23 31 7d 7b 25 | 0a 20 20 5c 40 74 68 6d |ef{#1}{%|. \@thm|
|00001800| 7b 23 31 7d 7b 23 32 7d | 7d 5c 67 6c 6f 62 61 6c |{#1}{#2}|}\global|
|00001810| 5c 40 6e 61 6d 65 64 65 | 66 7b 65 6e 64 23 31 7d |\@namede|f{end#1}|
|00001820| 7b 5c 40 65 6e 64 74 68 | 65 6f 72 65 6d 7d 7d 7d |{\@endth|eorem}}}|
|00001830| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.% \e|nd{macro|
|00001840| 63 6f 64 65 7d 0a 25 0a | 25 20 5c 65 6e 64 7b 6f |code}.%.|% \end{o|
|00001850| 6c 64 63 6f 6d 6d 65 6e | 74 73 7d 0a 25 20 5c 62 |ldcommen|ts}.% \b|
|00001860| 65 67 69 6e 7b 6d 61 63 | 72 6f 7d 7b 5c 40 6f 74 |egin{mac|ro}{\@ot|
|00001870| 68 6d 7d 0a 25 20 5c 63 | 68 61 6e 67 65 73 7b 4c |hm}.% \c|hanges{L|
|00001880| 61 54 65 58 32 2e 30 39 | 7d 7b 31 39 39 32 2f 30 |aTeX2.09|}{1992/0|
|00001890| 31 2f 31 30 7d 0a 25 20 | 20 20 20 20 20 20 20 20 |1/10}.% | |
|000018a0| 7b 28 52 6d 53 29 20 43 | 68 65 63 6b 20 66 6f 72 |{(RmS) C|heck for|
|000018b0| 20 65 78 69 73 74 65 6e | 63 65 20 6f 66 20 74 68 | existen|ce of th|
|000018c0| 65 6f 72 65 6d 20 65 6e | 76 69 72 6f 6e 6d 65 6e |eorem en|vironmen|
|000018d0| 74 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 4c 61 |t}.% \ch|anges{La|
|000018e0| 54 65 58 32 2e 30 39 7d | 7b 31 39 39 32 2f 30 38 |TeX2.09}|{1992/08|
|000018f0| 2f 31 39 7d 0a 25 20 20 | 20 20 20 20 20 20 20 7b |/19}.% | {|
|00001900| 28 52 6d 53 29 20 43 68 | 61 6e 67 65 64 20 65 72 |(RmS) Ch|anged er|
|00001910| 72 6f 72 20 6d 65 73 73 | 61 67 65 20 74 6f 20 63 |ror mess|age to c|
|00001920| 6f 6d 70 6c 61 69 6e 20 | 61 62 6f 75 74 20 75 6e |omplain |about un|
|00001930| 64 65 66 69 6e 65 64 0a | 25 20 20 20 20 20 20 20 |defined.|% |
|00001940| 20 20 63 6f 75 6e 74 65 | 72 7d 0a 25 20 5c 63 68 | counte|r}.% \ch|
|00001950| 61 6e 67 65 73 7b 76 31 | 2e 30 62 7d 7b 31 39 39 |anges{v1|.0b}{199|
|00001960| 34 2f 30 34 2f 30 39 7d | 7b 55 73 65 20 73 74 61 |4/04/09}|{Use sta|
|00001970| 6e 64 61 72 64 20 63 6f | 75 6e 74 65 72 20 65 72 |ndard co|unter er|
|00001980| 72 6f 72 20 6d 65 73 73 | 61 67 65 20 28 46 4d 69 |ror mess|age (FMi|
|00001990| 29 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 76 31 |)}.% \ch|anges{v1|
|000019a0| 2e 30 63 7d 7b 31 39 39 | 34 2f 30 34 2f 31 37 7d |.0c}{199|4/04/17}|
|000019b0| 7b 55 73 65 20 6e 65 77 | 20 73 74 64 20 63 6f 75 |{Use new| std cou|
|000019c0| 6e 74 65 72 20 65 72 72 | 6f 72 20 6d 65 73 73 61 |nter err|or messa|
|000019d0| 67 65 20 28 46 4d 69 29 | 7d 0a 25 20 20 20 20 5c |ge (FMi)|}.% \|
|000019e0| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|000019f0| 0a 5c 64 65 66 5c 40 6f | 74 68 6d 23 31 5b 23 32 |.\def\@o|thm#1[#2|
|00001a00| 5d 23 33 7b 25 0a 20 20 | 5c 40 69 66 75 6e 64 65 |]#3{%. |\@ifunde|
|00001a10| 66 69 6e 65 64 7b 63 40 | 23 32 7d 7b 5c 40 6e 6f |fined{c@|#2}{\@no|
|00001a20| 63 6f 75 6e 74 65 72 72 | 7b 23 32 7d 7d 25 0a 20 |counterr|{#2}}%. |
|00001a30| 20 7b 5c 65 78 70 61 6e | 64 61 66 74 65 72 5c 40 | {\expan|dafter\@|
|00001a40| 69 66 64 65 66 69 6e 61 | 62 6c 65 5c 63 73 6e 61 |ifdefina|ble\csna|
|00001a50| 6d 65 20 23 31 5c 65 6e | 64 63 73 6e 61 6d 65 0a |me #1\en|dcsname.|
|00001a60| 20 20 7b 5c 67 6c 6f 62 | 61 6c 5c 40 6e 61 6d 65 | {\glob|al\@name|
|00001a70| 64 65 66 7b 74 68 65 23 | 31 7d 7b 5c 40 6e 61 6d |def{the#|1}{\@nam|
|00001a80| 65 75 73 65 7b 74 68 65 | 23 32 7d 7d 25 0a 5c 67 |euse{the|#2}}%.\g|
|00001a90| 6c 6f 62 61 6c 5c 40 6e | 61 6d 65 64 65 66 7b 23 |lobal\@n|amedef{#|
|00001aa0| 31 7d 7b 5c 40 74 68 6d | 7b 23 32 7d 7b 23 33 7d |1}{\@thm|{#2}{#3}|
|00001ab0| 7d 25 0a 5c 67 6c 6f 62 | 61 6c 5c 40 6e 61 6d 65 |}%.\glob|al\@name|
|00001ac0| 64 65 66 7b 65 6e 64 23 | 31 7d 7b 5c 40 65 6e 64 |def{end#|1}{\@end|
|00001ad0| 74 68 65 6f 72 65 6d 7d | 7d 7d 7d 0a 25 20 20 20 |theorem}|}}}.% |
|00001ae0| 20 5c 65 6e 64 7b 6d 61 | 63 72 6f 63 6f 64 65 7d | \end{ma|crocode}|
|00001af0| 0a 25 20 5c 65 6e 64 7b | 6d 61 63 72 6f 7d 0a 25 |.% \end{|macro}.%|
|00001b00| 0a 25 20 5c 62 65 67 69 | 6e 7b 6f 6c 64 63 6f 6d |.% \begi|n{oldcom|
|00001b10| 6d 65 6e 74 73 7d 0a 25 | 20 20 20 20 5c 62 65 67 |ments}.%| \beg|
|00001b20| 69 6e 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 5c 64 |in{macro|code}.\d|
|00001b30| 65 66 5c 40 74 68 6d 23 | 31 23 32 7b 5c 72 65 66 |ef\@thm#|1#2{\ref|
|00001b40| 73 74 65 70 63 6f 75 6e | 74 65 72 0a 20 20 20 20 |stepcoun|ter. |
|00001b50| 7b 23 31 7d 5c 40 69 66 | 6e 65 78 74 63 68 61 72 |{#1}\@if|nextchar|
|00001b60| 5b 7b 5c 40 79 74 68 6d | 7b 23 31 7d 7b 23 32 7d |[{\@ythm|{#1}{#2}|
|00001b70| 7d 7b 5c 40 78 74 68 6d | 7b 23 31 7d 7b 23 32 7d |}{\@xthm|{#1}{#2}|
|00001b80| 7d 7d 0a 25 20 20 20 20 | 5c 65 6e 64 7b 6d 61 63 |}}.% |\end{mac|
|00001b90| 72 6f 63 6f 64 65 7d 0a | 25 0a 25 20 20 20 20 5c |rocode}.|%.% \|
|00001ba0| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|00001bb0| 0a 5c 64 65 66 5c 40 78 | 74 68 6d 23 31 23 32 7b |.\def\@x|thm#1#2{|
|00001bc0| 5c 40 62 65 67 69 6e 74 | 68 65 6f 72 65 6d 7b 23 |\@begint|heorem{#|
|00001bd0| 32 7d 7b 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 31 |2}{\csna|me the#1|
|00001be0| 5c 65 6e 64 63 73 6e 61 | 6d 65 7d 5c 69 67 6e 6f |\endcsna|me}\igno|
|00001bf0| 72 65 73 70 61 63 65 73 | 7d 0a 5c 64 65 66 5c 40 |respaces|}.\def\@|
|00001c00| 79 74 68 6d 23 31 23 32 | 5b 23 33 5d 7b 5c 40 6f |ythm#1#2|[#3]{\@o|
|00001c10| 70 61 72 67 62 65 67 69 | 6e 74 68 65 6f 72 65 6d |pargbegi|ntheorem|
|00001c20| 7b 23 32 7d 7b 5c 63 73 | 6e 61 6d 65 0a 20 20 20 |{#2}{\cs|name. |
|00001c30| 20 20 20 20 74 68 65 23 | 31 5c 65 6e 64 63 73 6e | the#|1\endcsn|
|00001c40| 61 6d 65 7d 7b 23 33 7d | 5c 69 67 6e 6f 72 65 73 |ame}{#3}|\ignores|
|00001c50| 70 61 63 65 73 7d 0a 25 | 20 20 20 20 5c 65 6e 64 |paces}.%| \end|
|00001c60| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 25 0a 25 44 |{macroco|de}.%.%D|
|00001c70| 45 46 41 55 4c 54 20 56 | 41 4c 55 45 53 0a 25 20 |EFAULT V|ALUES.% |
|00001c80| 20 20 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 63 | \begi|n{macroc|
|00001c90| 6f 64 65 7d 0a 5c 64 65 | 66 5c 40 74 68 6d 63 6f |ode}.\de|f\@thmco|
|00001ca0| 75 6e 74 65 72 23 31 7b | 5c 6e 6f 65 78 70 61 6e |unter#1{|\noexpan|
|00001cb0| 64 5c 61 72 61 62 69 63 | 7b 23 31 7d 7d 0a 5c 64 |d\arabic|{#1}}.\d|
|00001cc0| 65 66 5c 40 74 68 6d 63 | 6f 75 6e 74 65 72 73 65 |ef\@thmc|ounterse|
|00001cd0| 70 7b 2e 7d 0a 25 20 20 | 20 20 5c 65 6e 64 7b 6d |p{.}.% | \end{m|
|00001ce0| 61 63 72 6f 63 6f 64 65 | 7d 0a 25 20 5c 65 6e 64 |acrocode|}.% \end|
|00001cf0| 7b 6f 6c 64 63 6f 6d 6d | 65 6e 74 73 7d 0a 25 0a |{oldcomm|ents}.%.|
|00001d00| 25 20 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 7d |% \begi|n{macro}|
|00001d10| 7b 5c 40 62 65 67 69 6e | 74 68 65 6f 72 65 6d 7d |{\@begin|theorem}|
|00001d20| 0a 25 20 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f |.% \beg|in{macro|
|00001d30| 7d 7b 5c 40 6f 70 61 72 | 67 62 65 67 69 6e 74 68 |}{\@opar|gbeginth|
|00001d40| 65 6f 72 65 6d 7d 0a 25 | 20 20 5c 62 65 67 69 6e |eorem}.%| \begin|
|00001d50| 7b 6d 61 63 72 6f 7d 7b | 5c 40 65 6e 64 74 68 65 |{macro}{|\@endthe|
|00001d60| 6f 72 65 6d 7d 0a 25 20 | 20 5c 63 68 61 6e 67 65 |orem}.% | \change|
|00001d70| 73 7b 4c 61 54 65 58 32 | 2e 30 39 7d 7b 31 39 39 |s{LaTeX2|.09}{199|
|00001d80| 31 2f 30 38 2f 31 34 7d | 0a 25 20 20 20 20 20 20 |1/08/14}|.% |
|00001d90| 20 20 20 7b 4d 6f 76 65 | 64 20 5c 63 6d 64 5c 69 | {Move|d \cmd\i|
|00001da0| 74 73 68 61 70 65 20 61 | 66 74 65 72 20 5c 63 6d |tshape a|fter \cm|
|00001db0| 64 5c 69 74 65 6d 20 74 | 6f 20 6d 61 6b 65 20 69 |d\item t|o make i|
|00001dc0| 74 20 77 6f 72 6b 20 77 | 69 74 68 20 4e 46 53 53 |t work w|ith NFSS|
|00001dd0| 7d 0a 25 20 20 20 20 50 | 72 6f 76 69 64 69 6e 67 |}.% P|roviding|
|00001de0| 20 74 68 65 6f 72 65 6d | 20 64 65 66 61 75 6c 74 | theorem| default|
|00001df0| 73 2e 0a 25 20 20 5c 74 | 61 73 6b 7b 3f 3f 3f 7d |s..% \t|ask{???}|
|00001e00| 7b 61 64 64 20 60 72 65 | 73 65 74 40 66 6f 6e 74 |{add `re|set@font|
|00001e10| 3f 7d 0a 25 20 20 20 20 | 5c 62 65 67 69 6e 7b 6d |?}.% |\begin{m|
|00001e20| 61 63 72 6f 63 6f 64 65 | 7d 0a 5c 64 65 66 5c 40 |acrocode|}.\def\@|
|00001e30| 62 65 67 69 6e 74 68 65 | 6f 72 65 6d 23 31 23 32 |beginthe|orem#1#2|
|00001e40| 7b 5c 74 72 69 76 6c 69 | 73 74 20 0a 20 20 20 5c |{\trivli|st . \|
|00001e50| 69 74 65 6d 5b 5c 68 73 | 6b 69 70 20 5c 6c 61 62 |item[\hs|kip \lab|
|00001e60| 65 6c 73 65 70 7b 5c 62 | 66 73 65 72 69 65 73 20 |elsep{\b|fseries |
|00001e70| 23 31 5c 20 23 32 7d 5d | 5c 69 74 73 68 61 70 65 |#1\ #2}]|\itshape|
|00001e80| 7d 0a 5c 64 65 66 5c 40 | 6f 70 61 72 67 62 65 67 |}.\def\@|opargbeg|
|00001e90| 69 6e 74 68 65 6f 72 65 | 6d 23 31 23 32 23 33 7b |intheore|m#1#2#3{|
|00001ea0| 5c 74 72 69 76 6c 69 73 | 74 0a 20 20 20 20 20 20 |\trivlis|t. |
|00001eb0| 5c 69 74 65 6d 5b 5c 68 | 73 6b 69 70 20 5c 6c 61 |\item[\h|skip \la|
|00001ec0| 62 65 6c 73 65 70 7b 5c | 62 66 73 65 72 69 65 73 |belsep{\|bfseries|
|00001ed0| 20 23 31 5c 20 23 32 5c | 20 28 23 33 29 7d 5d 5c | #1\ #2\| (#3)}]\|
|00001ee0| 69 74 73 68 61 70 65 7d | 0a 5c 64 65 66 5c 40 65 |itshape}|.\def\@e|
|00001ef0| 6e 64 74 68 65 6f 72 65 | 6d 7b 5c 65 6e 64 74 72 |ndtheore|m{\endtr|
|00001f00| 69 76 6c 69 73 74 7d 0a | 25 3c 2f 32 65 6b 65 72 |ivlist}.|%</2eker|
|00001f10| 6e 65 6c 3e 0a 25 20 20 | 20 20 5c 65 6e 64 7b 6d |nel>.% | \end{m|
|00001f20| 61 63 72 6f 63 6f 64 65 | 7d 0a 25 20 20 5c 65 6e |acrocode|}.% \en|
|00001f30| 64 7b 6d 61 63 72 6f 7d | 0a 25 20 20 5c 65 6e 64 |d{macro}|.% \end|
|00001f40| 7b 6d 61 63 72 6f 7d 0a | 25 20 20 5c 65 6e 64 7b |{macro}.|% \end{|
|00001f50| 6d 61 63 72 6f 7d 0a 25 | 0a 25 20 5c 46 69 6e 61 |macro}.%|.% \Fina|
|00001f60| 6c 65 0a 25 0a | |le.%. | |
+--------+-------------------------+-------------------------+--------+--------+
